search: Don't run a full search for equal terms

Due to the timeout on the search entry, it's possible for
a very quick edit to the entry to launch a subsearch on the
same search string.

https://bugzilla.gnome.org/show_bug.cgi?id=693937

diff --git a/js/ui/search.js b/js/ui/search.js
index c4eb10c2439d7d1c8d8670bcf08049bbaac82045..3dd59d720bb1e036a5477655b7c723af2397517a 100644 (file)
--- a/js/ui/search.js
+++ b/js/ui/search.js
@@ -66,6 +66,8 @@ const SearchSystem = new Lang.Class({
 
         let searchString = terms.join(' ');
         let previousSearchString = this._previousTerms.join(' ');
+        if (searchString == previousSearchString)
+            return;
 
         let isSubSearch = false;
         if (this._previousTerms.length > 0)